/*
 * Copyright (C) 2018 ETH Zurich and University of Bologna
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *     http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */

/* 
 * Mantainer: Luca Valente, luca.valente2@unibo.it
 */
#ifndef PVCOMPLEX_DIV2
#define PVCOMPLEX_DIV2
int cplx_opAdiv2[] = {
0x2058aacd,
0x99c1628,
0x3d1095b3,
0xb5a7317f,
0xe9785a99,
0x87435b57,
0x27f0048d,
0x626f1a89,
0x3bd9270d,
0xdbd3a924,
0x2019aaee,
0x4c19f22e,
0x3620b449,
0xa5941f54,
0x5e159c30,
0x46fdf426,
0xa4e7e6d,
0x14205099,
0x8218475e,
0xa1f8c9c8,
0x251f6b91,
0x701e293b,
0x43c44d10,
0x741dd28e,
0x7bb27f9d,
0x2a8c4ff0,
0x421f9bcb,
0x501476a5,
0x95f9783f,
0x146ff5a9,
0xe9cff40e,
0x727c5b6c,
0xac06f41e,
0x3b7c869c,
0x50642e1e,
0x99afdd74,
0x6af7584,
0xc29409ce,
0xdc5c4a74,
0xca1136b1,
0x86a1580e,
0xf3d9f49d,
0x6b42c8c0,
0x40ff43ed,
0x3996013b,
0xf54a556e,
0xb0db2366,
0x178467c6,
0xee625ce1,
0x8aff5300,
0x30753ec7,
0xb44b24af,
0x2e7d3724,
0x819876df,
0xad900ad9,
0x62e74baa,
0x40473431,
0xfcf256c0,
0x9aadab8a,
0xacc53df1,
0x9360d444,
0xf7aaa20f,
0x9d5443b,
0xa11c0f2e,
0x622ef838,
0x36ff2c1b,
0x50ca92a3,
0xc9c8eb4a,
0x62297f47,
0x8a204b60,
0x970a0fb9,
0x43eaed07,
0x43c7d752,
0x82dc40dc,
0x7ecede75,
0xb2b92fa1,
0xd1b1122e,
0x5669aa63,
0xb991db86,
0xd3bef785,
0x23a01bbf,
0xae630abd,
0xf607746b,
0xf3b2782b,
0xc38b5830,
0x67e97dd3,
0x6ada5a96,
0x31e8abd4,
0xecb0aea2,
0x8d17b4c4,
0xe4656b7e,
0x7dac3fd0,
0xea33b616,
0x919dd415,
0xcb9aa3c4,
0xbf83655b,
0x7019ef3b,
0x63a66de6,
0xe6116620,
0xbe515758,
};

int cplx_opBdiv2[] = {
0xd52ba99d,
0x433263a,
0xd20e4006,
0xeea8361b,
0xeadfbebf,
0x2a3d7bbf,
0xbb8fcf44,
0x855ba7ea,
0x7bffa5c2,
0x498616f8,
0x7c53479a,
0x36d50909,
0x76f0ec6c,
0x528d9a7b,
0xf1d35d01,
0x69e10de,
0x3718c6ff,
0x7050ad1,
0x40ec0927,
0xc7e6f5ad,
0x716c2bcb,
0xfb10f223,
0x9a0d2cfb,
0xd2bd806b,
0x9763160d,
0x5da71c43,
0x254c13b6,
0x23947c,
0x2ef79c3c,
0xf93e52b0,
0x638e20ca,
0xe7c9ffdc,
0xaae9aa6,
0xa3cdeece,
0xe47b4b9a,
0x77666bb3,
0x5dd755e7,
0x82e27276,
0xf2e1f7e4,
0xdf1559f,
0x71e28a44,
0x9dfa6b98,
0x14972f,
0x336b9e1d,
0xf0cd2f0b,
0x4fd62ca9,
0x2c86545b,
0xef02379f,
0x266e3734,
0x82ce92cf,
0xfe830ae9,
0x60d1fa34,
0x6caa5c5a,
0x543ee3b3,
0x39535f8b,
0xe9cf6230,
0xcdc8ab35,
0x426487ca,
0x25e7cddd,
0xfce875d0,
0xa27916b5,
0x6b104cbe,
0x845eceff,
0x6335a12,
0xece2aacc,
0xb5b58902,
0x8336eb65,
0x47bf1686,
0xfa3aefe1,
0x4f6c9bfd,
0xfe2d338d,
0xdec2393c,
0xc106cbf6,
0x99d32127,
0x96f7e6ed,
0xfda296bb,
0xe37a3970,
0x87068b3,
0xc2c567d8,
0x12a40ea3,
0x97a5afa7,
0x9b0cc859,
0xdee01adc,
0xabde2cb,
0x7ec9d91a,
0xca75a29,
0x93657cf6,
0x48eceb69,
0xc90546b,
0x3b59e2bf,
0x797ba387,
0xdcf838fb,
0xa1ae5cf5,
0xc4cde568,
0xf40b6474,
0x141bd771,
0x9fca8bb1,
0xa68daf28,
0x91f37eaa,
0x57c4b14a,
};

int subrotmj_opCdiv2[] = {
0xff682596,
0x80902b4,
0xd5293581,
0x24ee37f,
0x3213ff4c,
0x10342e83,
0xe55b3630,
0xc6b0ee8a,
0x3f5adfed,
0x36eac926,
0xce56d1e3,
0xb6d0aa2,
0x1c11df98,
0x3d932983,
0xe0683621,
0xe5c202f,
0x2449e99b,
0xdd1c068d,
0xe0e42096,
0x15f2ed09,
0xe01dd9d9,
0xe4743a87,
0xeff5d4db,
0xd6eed0b0,
0xcb38f227,
0xe629e672,
0x3bf50e69,
0xeeb27f8,
0x11fe3381,
0x2e830d98,
0x165ec320,
0xd238c559,
0xd344d0ac,
0x3419cbd7,
0xebe35f4,
0xc71f1124,
0xf031d46c,
0x34541fd9,
0xd6b8f4bd,
0xf77de10,
0x191b0a5f,
0x3b7d2aef,
0xe7373597,
0x2d1806ca,
0x16e82464,
0xeb9dd2ba,
0x187ac22a,
0xe7ec1441,
0xed29e3fa,
0x1fe70418,
0xe61118f9,
0xeac229bd,
0x129be0e9,
0x366a16ad,
0x2a593a1e,
0xb433c8c,
0x3b82393f,
0x1885dd47,
0x11293a63,
0x1befd7ee,
0x2138f873,
0xd557c64d,
0xc562c2bb,
0x2572cd74,
0xd94a3aa6,
0x2e73c0a5,
0x2c61e6ca,
0x159ec104,
0x384d33f7,
0x284e1d5a,
0x11eacc6e,
0x261a3294,
0xfa52c160,
0xf025f484,
0x43cf3eb,
0x338dda8b,
0x13a1f71b,
0xdf2826fc,
0xc629fb66,
0xb8fe08d,
0xc9f4c5fd,
0xdece09ab,
0xd3380b93,
0x3550f47a,
0xc0752261,
0xee2b2da1,
0x1130ebba,
0x1fcaf47e,
0xd2e4f010,
0x16fd28df,
0x1c043575,
0xfc95d05a,
0xd36f2442,
0x8a9e668,
0xe058ebc7,
0x390bd5b4,
0xce3be827,
0x20a1de8c,
0xc452a0f,
0x2cf93346,
};

int cplxadd_opCdiv2[] = {
0xfac12a35,
0x6e71e31,
0x78feadc,
0xd22733cd,
0xea2b0cac,
0xd8c0eb8b,
0xf1bfe9e8,
0xf3e5e139,
0xdbece667,
0x12ace00e,
0xce36f944,
0xc177fd9b,
0xd688d05a,
0xfc10dce7,
0x27f4fc98,
0x26cd0282,
0x20b322b6,
0xd922db5,
0xe1822842,
0x34efdfba,
0xcb45cbae,
0x35970daf,
0xeee83d05,
0x236d297c,
0x98acad5,
0xc4193619,
0x33b5d7c0,
0x281b0590,
0xe2780a3d,
0x6d6242c,
0x26ae0a6c,
0x2d222da4,
0xdb5ac762,
0xefa43ab5,
0x1a6f3cdc,
0x88a2493,
0x3243e5b5,
0x22bb3e22,
0xe79e212c,
0xec01c628,
0xfc41f129,
0xc8e9301a,
0x35ab2ff7,
0x3a35f105,
0x15311823,
0x2290c10b,
0xeeb03be0,
0x343cfb2,
0xa68ca0a,
0x6e6f2e7,
0x177c24d8,
0xa8e0f71,
0xcd93c9bf,
0xeaeb2d49,
0xf3713532,
0x265bd6ed,
0x707efb3,
0x1fabef45,
0xe04a3cb3,
0xd4d6d9e0,
0x1aecf57c,
0x315df766,
0xc719099d,
0xd3a734a0,
0x2788d182,
0xf65ada8e,
0xea003f04,
0x8c300e8,
0x2e313794,
0xecc6f3ae,
0xca9b21a3,
0x11561321,
0x266d1a4,
0xe573101,
0xae2e2b1,
0xd82de32e,
0xda9525cf,
0x2f6c098b,
0x3e2b21af,
0xf3310314,
0xdda2e5b3,
0x24b7e98b,
0xea73c7a3,
0xff372d7b,
0x212a18a5,
0x3a48ebfe,
0xff1febc6,
0x3d6acb9e,
0xfca00186,
0xe438cbc1,
0x2ef00782,
0x2d523c65,
0xc5f00985,
0x2b35dcbe,
0xdfd2041c,
0xe9cf1e66,
0x7f13d76,
0x5190e87,
0x3c02f265,
0xb0a0451,
};

int cplxsub_opCdiv2[] = {
0x25960098,
0x2b4f7f7,
0x35812ad6,
0xe37ffdb2,
0xff4ccded,
0x2e83efcc,
0x36301aa4,
0xee8a394f,
0xdfedc0a5,
0xc926c916,
0xd1e331aa,
0xaa2f492,
0xdf98e3ee,
0x2983c26c,
0x36211f97,
0x202ff1a4,
0xe99bdbb7,
0x68d22e4,
0x20961f1b,
0xed09ea0d,
0xd9d91fe3,
0x3a871b8c,
0xd4db100a,
0xd0b02911,
0xf22734c8,
0xe67219d6,
0xe69c40a,
0x27f8f114,
0x3381ee01,
0xd98d17c,
0xc320e9a2,
0xc5592dc8,
0xd0ac2cbc,
0xcbd7cbe7,
0x35f4f142,
0x112438e0,
0xd46c0fce,
0x1fd9cbac,
0xf4bd2948,
0xde10f089,
0xa5fe6e5,
0x2aefc482,
0x359718c8,
0x6cad2e8,
0x2464e918,
0xd2ba1462,
0xc22ae785,
0x14411813,
0xe3fa12d6,
0x418e018,
0x18f919ef,
0x29bd153d,
0xe0e9ed65,
0x16adc996,
0x3a1ed5a7,
0x3c8cf4bd,
0x393fc47e,
0xdd47e77b,
0x3a63eed6,
0xd7eee410,
0xf873dec7,
0xc64d2aa8,
0xc2bb3a9e,
0xcd74da8e,
0x3aa626b6,
0xc0a5d18c,
0xe6cad39f,
0xc104ea62,
0x33f7c7b3,
0x1d5ad7b1,
0xcc6eee16,
0x3294d9e5,
0xc16005ae,
0xf4840fda,
0xf3ebfbc4,
0xda8bcc73,
0xf71bec5f,
0x26fc20d8,
0xfb6639d7,
0xe08df471,
0xc5fd360c,
0x9ab2132,
0xb932cc7,
0xf47acab0,
0x22613f8b,
0x2da111d5,
0xebbaeed0,
0xf47ee035,
0xf0102d1b,
0x28dfe902,
0x3575e3fb,
0xd05a036a,
0x24422c90,
0xe668f756,
0xebc71fa8,
0xd5b4c6f5,
0xe82731c5,
0xde8cdf5f,
0x2a0ff3bb,
0x3346d307,
};

#endif
